Structured algebraic specification of DFA model and its language DFA模型及其语言的结构化代数规约
The behavior of multi-port-component ( functional component) is described with DAEs ( differential and algebraic equations), coded by analogy hardware description language. 该方法采用常微分和代数方程描述组件的行为,混合信号硬件描述语言作为组件及其网络的建模语言。
The algebraic operator of image query language are summarized and classified, and then a primary image query language is established. 对图像查询语言涉及的算子进行归纳和分类,仔细地探讨了图像查询语言的设计思想和语言的结构形式,建立了一个基本的图像查询语言系统。
In this paper, from algebraic structure of regular language, we extend regular language by the theory of rough set, and advance concept of lower ( upper) rough regular language and give condition of their existence and relation with regular language. 从正则语言的代数结构出发,利用Rough集理论对正则语言进行了扩充。提出了下(上)粗糙正则语言的概念,并给出了它们存在的条件,以及和正则语言之间的关系。
A Prototype Translation System from the Specification of Algebraic Language into ML 代数语言规约的ML原型翻译系统
Computer algebraic and symbolic computation language CASC 计算机代数与符号演算语言CASC
Algebraic Semantics of Modeling Language AML 面向对象建模语言AML的代数语义
Algebraic Verification Method of Data Refinement in Formal Specification Language 形式规范语言数据求精过程的代数验证方法
AAA, an algebraic specification language based on the abstract data type, is introduced first. 首先给出一种基于抽象数据类型的代数规格说明语言AAA;
Interval constraint and its algebraic query language 区间约束及其代数查询语言
Hence, non-classical logical algebra, non-classical logic system and corresponding with linguistic truth value logical algebra and algebraic logic system of truth which is expressed by natural language need to be studied, all of these are very important meaningful for intelligent information processing. 对此,需要研究非经典逻辑代数与非经典代数逻辑,以及相应的用语言表示真值的语言真值逻辑代数与语言真值代数逻辑,这对智能信息处理的发展具有十分重要的意义。